Electronic Books

Total Books: 21 - 24 /24
Software Engineering for Multi-Agent Systems III

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...

Weiterlesen
Software Product Line Engineering

Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower ...

Weiterlesen
Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Weiterlesen
NoIMG
Towards Synthesis of Micro-

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

Weiterlesen
Total Books: 21 - 24 /24